Effects in Rust (and Koka)
aloso.foo·19h·
Discuss: r/rust
⚡Algebraic Effects
Contrastive Weak-to-strong Generalization
arxiv.org·15h
🪜Recursive Descent
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·5h·
Discuss: DEV
💬Interactive REPLs
Realistic Reward Hacking Induces Different and Deeper Misalignment
lesswrong.com·1d
✨Effect Inference
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
🧮Combinator Calculus
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Unification Algorithms
IceQream: Quantitative chromosome accessibility analysis using physical TF models
nature.com·1d
🗺️Region Polymorphism
An enough week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
🌲Deforestation
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·11h·
Discuss: Hacker News
📝Text Editors
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
📋Backus-Naur Form
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Average Controlled and Average Natural Micro Direct Effects in Summary Causal Graphs
arxiv.org·15h
✨Effect Inference
Context Engineering Tips for ClaudeCode: Context Trimming, Sub-agents, Parallelism
reddit.com·7h·
Discuss: r/ClaudeAI
⚡Effect Handlers
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
Hypernetworks: Neural Networks for Hierarchical Data
sturdystatistics.com·3d
🪜Recursive Descent
Categorical systems theory
topos.institute·7h
🔗Category Theory
From CAP to GAP?
fsharpforfunandprofit.com·12h·
Discuss: DEV
🧪Testing Compilers
Neuro-Symbolic AI
en.wikipedia.org·4h·
Discuss: Hacker News
🎭Program Synthesis
ReLU vs ELU: Picking the Right Activation for Deep Nets
digitalocean.com·1d
🪜Recursive Descent
Operable Software
ferd.ca·6h·
Discuss: Hacker News
✅Configuration Validation